In this paper we argue that Socrates is a cognitivist about emotions, but then ask how the beliefs that constitute emotions can come into being, and why those beliefs seem more resistant to change through rational persuasion than other beliefs.

In lieu of an abstract, here is a brief excerpt of the content:Plato on Knowledge as a Power1Nicholas D. SmithAt 471C4 in Plato’s Republic, the argument takes a sudden turn when Glaucon becomes impatient with all of the specific prescriptions Socrates has been making, and asks to return to the issue Socrates had earlier set aside—whether or not the city he was describing could ever be brought into being. In response to Glaucon’s impatient question, Socrates articulates his “third wave of (...) paradox” (472ag–7), namely, that the ills of the cities will never be ended until either philosophers become rulers or rulers become philosophers (473c11–d6). Glaucon immediately responds that such a view is likely to be greeted with violence and scorn (473e6–474a4), and so Socrates must hasten to explain his odd claim. His explanation, it turns out, is that true philosophers have an enormous cognitive advantage over non-philosophers—philosophers have and use knowledge (ἐπιστήμη), whereas non-philosophers have and use only opinion (δόξα).2 This distinction, between επιστήμη and δόξα, turns out: to be a distinction between two different cognitive powers (δυνάμεις—477d7–e3). And different powers, Plato clearly tells us, apply to or take as their objects (Plato says they are “ἐπί”) different things (477dl).In this paper, I shall argue that the relationship between the cognitive powers and their various objects has been fundamentally misunderstood, which has led scholars into one or more misinterpretations of important and explicit features of the text. At the heart of these misunderstandings, I claim, is [End Page 145] their shared misconception of the relation between the cognitive power and its objects as interpretable in terms of the relationship between a cognitive stale and what the content of that state is of or about.3 One consequence of the view for which I shall argue is that what has come to be known as the “two-worlds theory”4 of Plato’s epistemology is seriously mistaken, but no less mistaken than the alternatives given by its recent critics. Another consequence that I shall draw from my argument is that Plato should be understood neither as a kind of foundationalist with regard to knowledge and warrant, as some have supposed him to be,5 nor as a coherentist, as others have supposed,6 but, rather, as a kind of causal reliabilist. [End Page 146]1. KNOWLEDGE AS A POWERScholarly interpretations of Plato’s epistemology have routinely sought to understand the relationships between each cognitive power of Republic Book V and the objects of the ἐφ’ ᾦ (“what it is related to”) condition by which it is differentiated from other δυνάμεις as Plato’s way of telling us what each sort of cognition is of or aboul. 7 So, for example, we find Gail Fine using the expressions “belief [δόξα] is set over [Fine’s translation of Plato’s ἐπί] …” and “knowledge is set over …” interchangeably with “belief is of …” or “belief is about…” and “knowledge is of …” or “knowledge is about …”8 Against the “two-worlds theory,” Fine argues that, for Plato, there can be knowledge of sensibles and beliefs about Forms. Accordingly, since she assimilates the power-ἐπί-object set of relations to the cognilion-of/about-object relation, she concludes—in order to account for knowledge of sensibles and beliefs about Forms—that the objects of knowledge and opinion must be propositions. Plato’s claims that knowledge is ἐπί what is, whereas opinion is ἐπί what is and is not, Fine understands as, “One can only know true propositions; one can believe both true and false propositions.”9 We shall see later that this “veridical” understanding of what Plato means to identify as “what is,” and “what is and is not” fails to account for important and explicit elements of Plato’s exposition of the epistemological and metaphysical distinctions he is making. For now, it is enough to note that Fine understands the ἐφ’ᾦ) relation in terms of our cognition-of/about-object relation. One finds the same assimilation made by those who advance existential readings of Plato’s “is” and “is not,”10 as [End Page 147] well as those who have urged that we adopt predicative readings of “is” and “is not.”11But I think there are very serious problems with this assimilation. Plato is very... (shrink)

It has been argued that Plato sought to make his rulers invulnerable to any kind of wrongdoing. In this paper we argue that this (humanly impossible) claim misunderstand the ways in which Plato shapes his state precisely in order to make the rulers safe from what could corrupt them.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON (...) HODGSON, Henry Stapp. (shrink)

In this paper, we defend Socratic studies as a research programme against several recent attacks, including at least one recently published in Polis . Critics have argued that the study of Socrates, based upon evidence mostly or entirely derived from some set of Plato's dialogues, is founded upon faulty and indefensible historical or hermeneutical technique. We begin by identifying what we believe are the foundational principles of Socratic studies, as the field has been pursued in recent years, and we then (...) show how the research programme that derives from accepting these principles is not defeated by any of the most common recent criticisms of it. Specifically, we argue that challenges to sorting Plato's dialogues by date, more general challenges to historicist interpretations of Plato's dialogues, as well as recent literary criticisms of Socratic studies all fail to undermine the research programme. We conclude with some thoughts about how and why Socratic studies has proved itself a valuable and fruitful research programme. (shrink)

The translational research community, in general, and the Clinical and Translational Science Awards (CTSA) community, in particular, share the vision of repurposing EHRs for research that will improve the quality of clinical practice. Many members of these communities are also aware that electronic health records (EHRs) suffer limitations of data becoming poorly structured, biased, and unusable out of original context. This creates obstacles to the continuity of care, utility, quality improvement, and translational research. Analogous limitations to sharing objective data in (...) other areas of the natural sciences have been successfully overcome by developing and using common ontologies. This White Paper presents the authors’ rationale for the use of ontologies with computable semantics for the improvement of clinical data quality and EHR usability formulated for researchers with a stake in clinical and translational science and who are advocates for the use of information technology in medicine but at the same time are concerned by current major shortfalls. This White Paper outlines pitfalls, opportunities, and solutions and recommends increased investment in research and development of ontologies with computable semantics for a new generation of EHRs. (shrink)

In this chapter, we introduce the notion of “moral neuroenhancement,” offering a novel definition as well as spelling out three conditions under which we expect that such neuroenhancement would be most likely to be permissible (or even desirable). Furthermore, we draw a distinction between first-order moral capacities, which we suggest are less promising targets for neurointervention, and second-order moral capacities, which we suggest are more promising. We conclude by discussing concerns that moral neuroenhancement might restrict freedom or otherwise “misfire,” and (...) argue that these concerns are not as damning as they may seem at first. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...) or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Immunology researchers are beginning to explore the possibilities of reproducibility, reuse and secondary analyses of immunology data. Open-access datasets are being applied in the validation of the methods used in the original studies, leveraging studies for meta-analysis, or generating new hypotheses. To promote these goals, the ImmPort data repository was created for the broader research community to explore the wide spectrum of clinical and basic research data and associated findings. The ImmPort ecosystem consists of four components–Private Data, Shared Data, Data (...) Analysis, and Resources—for data archiving, dissemination, analyses, and reuse. To date, more than 300 studies have been made freely available through the ImmPort Shared Data portal , which allows research data to be repurposed to accelerate the translation of new insights into discoveries. (shrink)

: In the epistemology of the late Wittgenstein, a central place is given to the notion of the hinge: an arational commitment that provides a foundation of some sort for the rest of our beliefs. Quasi-fideism is an approach to the epistemology of religion that argues that religious belief is on an epistemic par with other sorts of belief inasmuch as religious and non-religious beliefs all rely on hinges. I consider in this paper what it takes to find the appropriate (...) hinge for a quasi-fideist approach to the epistemology of religion. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

This paper examines the justice of unconditional basic income (UBI) through the lens of the Hegel-inspired recognition-theory of justice. As explained in the first part of the paper, this theory takes everyday social roles to be the primary subject-matter of the theory of justice, and it takes justice in these roles to be a matter of the kind of freedom that is available through their performance, namely ‘social’ freedom. The paper then identifies the key criteria of social freedom. The extent (...) to which the introduction of an UBI would meet these criteria is then examined, with a focus on the social role that stands to be most affected by an UBI, namely that of the worker-earner. It is argued that while an UBI is likely to be only partially effective as an instrument of specifically social freedom, its main justification lies not here, but in securing a basis for the subjective freedom that social freedom presupposes. (shrink)

An analysis of how the sphere of work can be considered to instantiate norms of recognition, even when those norms give rise to paradoxes and ideologies surrounding how work ought to be done and the goods at stake in it.

I begin by picking up on Brandom’s suggestion that expressivism follows American pragmatism in seeking to advance the cause of the Enlightenment. This provides us with a first point of contrast with Taylor’s understanding of expressivism, since Taylor takes expressivism to be inseparably bound up with the Romantic critique of the Enlightenment and as fundamentally opposed to Enlightenment naturalism. I then distinguish two features of what we ordinarily mean by the term ‘expression’, one of which provides an intuitive basis for (...) understanding Brandom’s expressivist program, the other of which provides an interpretive key for understanding Taylor’s version of expressivism. After looking briefly at the main tenets of Taylor’s expressivism, I conclude by considering its relation to Romanticism on the one hand, and to Brandom’s expressivist renewal of the Enlightenment project on the other. (shrink)

Although the contrast between ‘economy’ and culture’ that structures the Fraser-Honneth debate derives ultimately from Weber, it has a more proximate ancestry in Habermas’ work. I begin by glancing back at Habermas’ formulation, not just because its background role in shaping the current debate has not been properly acknowledged (though I believe that is the case), but because Fraser and Honneth’s original responses to it provide a nice segue into their current positions. After briefly reviewing what those responses were, I (...) then offer a critical analysis of the conceptions of economy and culture they now propose. (shrink)

The aim of this article is to situate Arendt’s account of labour as a critical response to humanisms of labour, or put otherwise, to situate it as an anti-humanism of labour. It compares Arendt’s account of labour with that of the most prominent humanist theorist of labour at the time of the composition of The Human Condition: Georges Friedmann. Arendt’s and Friedmann’s accounts of labour are compared specifically with respect to the range of capacities, social relations, and possibilities of fulfilment (...) at stake in the activity of labour. The comparison provides a previously unexplored context for understanding Arendt’s account of labour and her distinction between labour and work. The relevance of Arendt’s and Friedmann’s theories of labour for the contemporary debate about the meaning of work in an age of automation is also briefly discussed. (shrink)

I suggest that the post-Hegelian tradition presents us with three contrasting normative models of work. According to the first model, the core norms of work are those of means-ends rationality. In this model, the modern world of work is constitutively a matter of deploying the most effective means to bring about given ends. The rational kernel of modern work, the core norm that has shaped its development, is on this view instrumental reason, and this very same normative core, in the (...) shape of advanced technology and more efficient, time-saving production, can help to liberate it. The second model, by contrast, takes the core norms of work to be internal to working activity. Rather than work gaining its normativity from something external to it, from ends to which the work is a contingent means, on this second view the core norms of work are expressions of values or meanings that are immanent to working practices themselves. The expressive model of work regards the actual world of work to be constituted historically by work-specific norms, norms which working subjects themselves have invoked and mobilised around in the course of their struggles for emancipation. According to the third model, the core norms of work have to do neither with instrumental rationality nor authentic self-expression. Rather they concern norms that relate either to individual achievement or contribution through work (in the form of esteem) or to the conditions that must in place for individuals to participate in the exchange of services by which market societies reproduce themselves (in the form of mutual respect). (shrink)

Argues that the Socratic profession of wisdom is not an expression of skepticism. Plato's Socrates claims to know things and says that others also know things. The profession of ignorance is a profession about wisdom, not about any other type of knowledge.

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

A summary of the main features of a 'recognition-theoretic' research program in the social sciences and a brief account of how it promises to advance on rival research programs in the social sciences.

In this book review, I discuss Smith’s new interpretation of Socrates' epistemology of virtue, according to which (a) Socratic virtue knowledge is craft knowledge (knowing how to live well), and such knowledge comes in degrees; and (b) Socrates has a certain degree of virtue knowledge, and one does not have to be an inerrant expert to have any virtue knowledge at all. I argue that Smith succeeds in presenting Socratic philosophy in a new light, while also pointing to (...) remaining questions about his account of virtue—specifically, about what exactly the craft of virtue is and how we can practice it and thereby improve ourselves. (shrink)

The essay reflects on Gadamer’s ambiguous legacy for the philosophy of work. On the one hand, there are times when Gadamer reproduces the problematic distinction between language and labor which short-circuits the very idea of a hermeneutics of work. This is particularly evident in Gadamer’s reflections on technique and craftsmanship in the central sections of Truth and Method, as well as in his descriptions of the “art” of dialogue and the tasks of hermeneutics that separate them emphatically them from the (...) sphere of “making.” I raise some questions about the adequacy of the distinction Gadamer draws between techne and phronesis that structures this account. I argue here that Gadamer’s characterization of the learning process involved in the mastery of a technique, as well as his conception of the instrumentality and monologicality of technical knowledge, is difficult to sustain, especially in view of recent research in the psychology and anthropology of work. I then go on to point out that elsewhere in his oeuvre Gadamer himself is critical of the conception of work that emerges through the lens of the techne / phronesis distinction. Indeed, on these occasions he hints at a conception of work that points beyond the Arendt / Habermas conception towards a critical hermeneutics of working life. This alternative approach to work is particularly apparent in Gadamer’s appropriation of Hegel’s dialectic, in his understanding of play, and in some of his later diagnostic reflections on the spirit of the age. In section four, I offer some suggestions for explaining how the tensions evident in Gadamer’s approach to work came about. Here I am interested in what prevented Gadamer from embracing whole-heartedly the project of a hermeneutics of work that he himself helped to lay the foundations for. I conclude with some brief remarks on why we should seek to build upon these foundations and renew the project of a critical hermeneutics of work today. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate therein. The theory is divided into two major categories of sub-theories: (sub-) theories of type SPAN and (sub-)theories of type SNAP. These theories represent two complementary perspectives on reality and result in distinct though compatible systems of categories. In SNAP we have enduring entities such as substances, qualities, roles, functions; in SPAN we have perduring entities such as (...) processes and their parts and aggregates. We argue that both kinds of ontological theory are required in order to give a non-reductionism account of complex domains of reality. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Recent years have seen an increasing amount of studies of the history of the term “religion” and how it figures in conceptions of “the secular” and of cultural differences generally. A recurrent theme in these studies is that “religion” carries associations with Protestant Christianity and thus is not as universal a category as it might appear. The aim of this paper is to explore some resources in Wittgenstein’s philosophy to obtain greater clarity about the contexts of ascription of religion-status to (...) various phenomena and thus to gain perspective on claims made by scholars who investigate the genealogy of the term. While there is good reason to be circumspect about uncritical use of the term “religion” (no less in philosophizing about religions or conducting interreligious dialogue), I argue that instead of abandoning the term or proffering a critical theory of religion, investigation of ascriptions of religion will help philosophers to perceive more clearly the social dynamics that have led to some- one or thing being called religious and thus avoid equivocations that could obstruct the ends of philosophical inquiry or dialogue. (shrink)

In this paper I argue for a version of the Total Evidence view according to which the rational response to disagreement depends upon one's total evidence. I argue that perceptual evidence of a certain kind is significantly weightier than many other types of evidence, including testimonial. Furthermore, what is generally called "The Uniqueness Thesis" is actually a conflation of two distinct principles that I dub "Evidential Uniqueness" and "Rationality Uniqueness." The former principle is likely true but the latter almost certainly (...) false. Seeing why the Rationality Uniqueness fails opens the door to seeing how mutual reasonable disagreement is possible even among those who share the same evidence. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

The New Demon World Objection claims that reliabilist accounts of justification are mistaken because there are justified empirical beliefs at demon worlds—worlds at which the subjects are systematically deceived by a Cartesian demon. In this paper, I defend strongly verific (but not necessarily reliabilist) accounts of justification by claiming that there are two ways to construct a theory of justification: by analyzing our ordinary concept of justification or by taking justification to be a theoretic term defined by its role in (...) the theory of knowledge. The former route is not promising because of the splintered nature of our ordinary concept of justification—or perhaps because there is no single such concept. On the other hand, if justification is defined by the role it plays in the theory of knowledge, then there is good reason to think that justification must be strongly truth-conductive since the term was introduced by Edmund Gettier to play the primary role in converting true belief into knowledge. And if that is right, then there will be no justified empirical belief at demon worlds. The real lesson of the demon world is then turned on its head: justification does not supervene on what one shares with one’s deceived doppelganger. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Scholars have argued that Plato's decision to include women in the ruling class was either intended as a joke, or else was forced on him by other political commitments. In tis paper, I argue that the arguments he offers for including women in positions of power can and should be taken as sincere.

Despite the growth in research in philosophy of religion over the past several decades, recent years have seen a number of critical studies of this subfield in an effort to redirect the methods and topics of inquiry. This article argues that in addition to problems of religious parochialism described by critics such as Wesley Wildman, the subfield is facing a problem of relevance. In responding to this problem, it suggests that philosophers of religion should do three things: first, be critically (...) self-aware about their aims of inquiry; second, investigate concepts used by other philosophers, scientists, and religious studies scholars to identify and dispel confusion about religions; and third, following the model of applied ethics, work to clarify concepts and advance arguments of contemporary practical urgency. (shrink)

Philosophers and theologians acknowledge that "fideism" is difficult to define but rarely agree on what the best characterization of the term is. In this article, I investigate the history of use of "fideism" to explore why its meaning has been so contested and thus why it has not always been helpful for resolving philosophical problems. I trace the use of the term from its origins in French theology to its current uses in philosophy and theology, concluding that "fideism" is helpful (...) in resolving philosophical problems only when philosophers scrupulously acknowledge the tradition of use that informs their understanding of the word. (shrink)

In this paper, I argue that the two versions of divided line create problems that cannot be solved — with or without the hypothesis that the objects belonging to the level of διάνοια on the divided line are intermediates. I also argue that the discussion of arithmetic and calculation does not fit Aristotle’s attribution of intermediates to Plato and provides no support for the claim that Plato had such intermediates in mind when he talked about διάνοια in the Republic. The (...) upshot of my argument is negative: even if Aristotle’s report about Plato and intermediates is correct, there is no evidence for such objects provided in the passages I review from the Republic. If they are to be found in Plato, it will have to be elsewhere that they are found. (shrink)

A key source of support for the view that challenging people’s beliefs about free will may undermine moral behavior is two classic studies by Vohs and Schooler (2008). These authors reported that exposure to certain prompts suggesting that free will is an illusion increased cheating behavior. In the present paper, we report several attempts to replicate this influential and widely cited work. Over a series of five studies (sample sizes of N = 162, N = 283, N = 268, N (...) = 804, N = 982) (four preregistered) we tested the relationship between (1) anti-free-will prompts and free will beliefs and (2) free will beliefs and immoral behavior. Our primary task was to closely replicate the findings from Vohs and Schooler (2008) using the same or highly similar manipulations and measurements as the ones used in their original studies. Our efforts were largely unsuccessful. We suggest that manipulating free will beliefs in a robust way is more difficult than has been implied by prior work, and that the proposed link with immoral behavior may not be as consistent as previous work suggests. (shrink)

In this paper I argue that internalistic foundationalist theories of the justification of memory belief are inadequate. Taking a discussion of John Pollock as a starting point, I argue against any theory that requires a memory belief to be based on a phenomenal state in order to be justified. I then consider another version of internalistic foundationalism and claim that it, too, is open to important objections. Finally, I note that both varieties of foundationalism fail to account for the epistemic (...) status of our justified nonoccurrent beliefs, and hence are drastically incomplete. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize (...) reasoning efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)